|
(詳細はJava bytecode, an abstract machine language that is ultimately executed by the Java virtual machine. The Java bytecode is generated by language compilers targeting the Java Platform, most notably the Java programming language. , |duplicate top two stack words (two values, if value1 is not double nor long; a single value, if value1 is double or long) |- |dup2_x1 |5d |0101 1101 | |value3, → , value3, |duplicate two words and insert beneath third word (see explanation above) |- |dup2_x2 |5e |0101 1110 | |, → , , |duplicate two words and insert beneath fourth word |- |f2d |8d |1000 1101 | |value → result |convert a float to a double |- |f2i |8b |1000 1011 | |value → result |convert a float to an int |- |f2l |8c |1000 1100 | |value → result |convert a float to a long |- |fadd |62 |0110 0010 | |value1, value2 → result |add two floats |- |faload |30 |0011 0000 | |arrayref, index → value |load a float from an array |- |fastore |51 |0101 0001 | |arrayref, index, value → |store a float in an array |- |fcmpg |96 |1001 0110 | |value1, value2 → result |compare two floats |- |fcmpl |95 |1001 0101 | |value1, value2 → result |compare two floats |- |fconst_0 |0b |0000 1011 | |→ 0.0f |push ''0.0f'' on the stack |- |fconst_1 |0c |0000 1100 | |→ 1.0f |push ''1.0f'' on the stack |- |fconst_2 |0d |0000 1101 | |→ 2.0f |push ''2.0f'' on the stack |- |fdiv |6e |0110 1110 | |value1, value2 → result |divide two floats |- |fload |17 |0001 0111 |1: index |→ value |load a float ''value'' from a local variable ''#index'' |- |fload_0 |22 |0010 0010 | |→ value |load a float ''value'' from local variable 0 |- |fload_1 |23 |0010 0011 | |→ value |load a float ''value'' from local variable 1 |- |fload_2 |24 |0010 0100 | |→ value |load a float ''value'' from local variable 2 |- |fload_3 |25 |0010 0101 | |→ value |load a float ''value'' from local variable 3 |- |fmul |6a |0110 1010 | |value1, value2 → result |multiply two floats |- |fneg |76 |0111 0110 | |value → result |negate a float |- |frem |72 |0111 0010 | |value1, value2 → result |get the remainder from a division between two floats |- |freturn |ae |1010 1110 | |value → () |return a float |- |fstore |38 |0011 1000 |1: index |value → |store a float ''value'' into a local variable ''#index'' |- |fstore_0 |43 |0100 0011 | |value → |store a float ''value'' into local variable 0 |- |fstore_1 |44 |0100 0100 | |value → |store a float ''value'' into local variable 1 |- |fstore_2 |45 |0100 0101 | |value → |store a float ''value'' into local variable 2 |- |fstore_3 |46 |0100 0110 | |value → |store a float ''value'' into local variable 3 |- |fsub |66 |0110 0110 | |value1, value2 → result |subtract two floats |- |getfield |b4 |1011 0100 |2: index1, index2 |objectref → value |get a field ''value'' of an object ''objectref'', where the field is identified by field reference in the constant pool ''index'' (''index1 << 8 + index2'') |- |getstatic |b2 |1011 0010 |2: index1, index2 |→ value |get a static field ''value'' of a class, where the field is identified by field reference in the constant pool ''index'' (''index1 << 8 + index2'') |- |goto |a7 |1010 0111 |2: branchbyte1, branchbyte2 |(change ) |goes to another instruction at ''branchoffset'' (signed short constructed from unsigned bytes ''branchbyte1 << 8 + branchbyte2'') |- |goto_w |c8 |1100 1000 |4: branchbyte1, branchbyte2, branchbyte3, branchbyte4 |(change ) |goes to another instruction at ''branchoffset'' (signed int constructed from unsigned bytes ''branchbyte1 << 24 + ''branchbyte2 << 16 + ''branchbyte3 << 8 + branchbyte4'') |- |i2b |91 |1001 0001 | |value → result |convert an int into a byte |- |i2c |92 |1001 0010 | |value → result |convert an int into a character |- |i2d |87 |1000 0111 | |value → result |convert an int into a double |- |i2f |86 |1000 0110 | |value → result |convert an int into a float |- |i2l |85 |1000 0101 | |value → result |convert an int into a long |- |i2s |93 |1001 0011 | |value → result |convert an int into a short |- |iadd |60 |0110 0000 | |value1, value2 → result |add two ints |- |iaload |2e |0010 1110 | |arrayref, index → value |load an int from an array |- |iand |7e |0111 1110 | |value1, value2 → result |perform a bitwise and on two integers |- |iastore |4f |0100 1111 | |arrayref, index, value → |store an int into an array |- |iconst_m1 |02 |0000 0010 | |→ -1 |load the int value −1 onto the stack |- |iconst_0 |03 |0000 0011 | |→ 0 |load the int value 0 onto the stack |- |iconst_1 |04 |0000 0100 | |→ 1 |load the int value 1 onto the stack |- |iconst_2 |05 |0000 0101 | |→ 2 |load the int value 2 onto the stack |- |iconst_3 |06 |0000 0110 | |→ 3 |load the int value 3 onto the stack |- |iconst_4 |07 |0000 0111 | |→ 4 |load the int value 4 onto the stack |- |iconst_5 |08 |0000 1000 | |→ 5 |load the int value 5 onto the stack |- |idiv |6c |0110 1100 | |value1, value2 → result |divide two integers |- |if_acmpeq |a5 |1010 0101 |2: branchbyte1, branchbyte2 |value1, value2 → |if references are equal, branch to instruction at ''branchoffset'' (signed short constructed from unsigned bytes ''branchbyte1 << 8 + branchbyte2'') |- |if_acmpne |a6 |1010 0110 |2: branchbyte1, branchbyte2 |value1, value2 → |if references are not equal, branch to instruction at ''branchoffset'' (signed short constructed from unsigned bytes ''branchbyte1 << 8 + branchbyte2'') |- |if_icmpeq |9f |1001 1111 |2: branchbyte1, branchbyte2 |value1, value2 → |if ints are equal, branch to instruction at ''branchoffset'' (signed short constructed from unsigned bytes ''branchbyte1 << 8 + branchbyte2'') |- |if_icmpge |a2 |1010 0010 |2: branchbyte1, branchbyte2 |value1, value2 → |if ''value1'' is greater than or equal to ''value2'', branch to instruction at ''branchoffset'' (signed short constructed from unsigned bytes ''branchbyte1 << 8 + branchbyte2'') |- |if_icmpgt |a3 |1010 0011 |2: branchbyte1, branchbyte2 |value1, value2 → |if ''value1'' is greater than ''value2'', branch to instruction at ''branchoffset'' (signed short constructed from unsigned bytes ''branchbyte1 << 8 + branchbyte2'') |- |if_icmple |a4 |1010 0100 |2: branchbyte1, branchbyte2 |value1, value2 → |if ''value1'' is less than or equal to ''value2'', branch to instruction at ''branchoffset'' (signed short constructed from unsigned bytes ''branchbyte1 << 8 + branchbyte2'') |- |if_icmplt |a1 |1010 0001 |2: branchbyte1, branchbyte2 |value1, value2 → |if ''value1'' is less than ''value2'', branch to instruction at ''branchoffset'' (signed short constructed from unsigned bytes ''branchbyte1 << 8 + branchbyte2'') |- |if_icmpne |a0 |1010 0000 |2: branchbyte1, branchbyte2 |value1, value2 → |if ints are not equal, branch to instruction at ''branchoffset'' (signed short constructed from unsigned bytes ''branchbyte1 << 8 + branchbyte2'') |- |ifeq |99 |1001 1001 |2: branchbyte1, branchbyte2 |value → |if ''value'' is 0, branch to instruction at ''branchoffset'' (signed short constructed from unsigned bytes ''branchbyte1 << 8 + branchbyte2'') |- |ifge |9c |1001 1100 |2: branchbyte1, branchbyte2 |value → |if ''value'' is greater than or equal to 0, branch to instruction at ''branchoffset'' (signed short constructed from unsigned bytes ''branchbyte1 << 8 + branchbyte2'') |- |ifgt |9d |1001 1101 |2: branchbyte1, branchbyte2 |value → |if ''value'' is greater than 0, branch to instruction at ''branchoffset'' (signed short constructed from unsigned bytes ''branchbyte1 << 8 + branchbyte2'') |- |ifle |9e |1001 1110 |2: branchbyte1, branchbyte2 |value → |if ''value'' is less than or equal to 0, branch to instruction at ''branchoffset'' (signed short constructed from unsigned bytes ''branchbyte1 << 8 + branchbyte2'') |- |iflt |9b |1001 1011 |2: branchbyte1, branchbyte2 |value → |if ''value'' is less than 0, branch to instruction at ''branchoffset'' (signed short constructed from unsigned bytes ''branchbyte1 << 8 + branchbyte2'') |- |ifne |9a |1001 1010 |2: branchbyte1, branchbyte2 |value → |if ''value'' is not 0, branch to instruction at ''branchoffset'' (signed short constructed from unsigned bytes ''branchbyte1 << 8 + branchbyte2'') |- |ifnonnull |c7 |1100 0111 |2: branchbyte1, branchbyte2 |value → |if ''value'' is not null, branch to instruction at ''branchoffset'' (signed short constructed from unsigned bytes ''branchbyte1 << 8 + branchbyte2'') |- |ifnull |c6 |1100 0110 |2: branchbyte1, branchbyte2 |value → |if ''value'' is null, branch to instruction at ''branchoffset'' (signed short constructed from unsigned bytes ''branchbyte1 << 8 + branchbyte2'') |- |iinc |84 |1000 0100 |2: index, const |(change ) |increment local variable ''#index'' by signed byte ''const'' |- |iload |15 |0001 0101 |1: index |→ value |load an int ''value'' from a local variable ''#index'' |- |iload_0 |1a |0001 1010 | |→ value |load an int ''value'' from local variable 0 |- |iload_1 |1b |0001 1011 | |→ value |load an int ''value'' from local variable 1 |- |iload_2 |1c |0001 1100 | |→ value |load an int ''value'' from local variable 2 |- |iload_3 |1d |0001 1101 | |→ value |load an int ''value'' from local variable 3 |- |impdep1 |fe |1111 1110 | | |reserved for implementation-dependent operations within debuggers; should not appear in any class file |- |impdep2 |ff |1111 1111 | | |reserved for implementation-dependent operations within debuggers; should not appear in any class file |- |imul |68 |0110 1000 | |value1, value2 → result |multiply two integers |- |ineg |74 |0111 0100 | |value → result |negate int |- |instanceof |c1 |1100 0001 |2: indexbyte1, indexbyte2 |objectref → result |determines if an object ''objectref'' is of a given type, identified by class reference ''index'' in constant pool (''indexbyte1 << 8 + indexbyte2'') |- |invokedynamic |ba |1011 1010 |4: indexbyte1, indexbyte2, 0, 0 | → result |invokes an interface method on object ''objectref'' and puts the result on the stack (might be void); the interface method is identified by method reference ''index'' in constant pool (''indexbyte1 << 8 + indexbyte2'') |- |invokespecial |b7 |1011 0111 |2: indexbyte1, indexbyte2 |objectref, (arg2, ... ) → result |invoke instance method on object ''objectref'' and puts the result on the stack (might be void); the method is identified by method reference ''index'' in constant pool (''indexbyte1 << 8 + indexbyte2'') |- |invokestatic |b8 |1011 1000 |2: indexbyte1, indexbyte2 |(arg2, ... ) → result |invoke a static method and puts the result on the stack (might be void); the method is identified by method reference ''index'' in constant pool (''indexbyte1 << 8 + indexbyte2'') |- |invokevirtual |b6 |1011 0110 |2: indexbyte1, indexbyte2 |objectref, (arg2, ... ) → result |invoke virtual method on object ''objectref'' and puts the result on the stack (might be void); the method is identified by method reference ''index'' in constant pool (''indexbyte1 << 8 + indexbyte2'') |- |ior |80 |1000 0000 | |value1, value2 → result |bitwise int or |- |irem |70 |0111 0000 | |value1, value2 → result |logical int remainder |- |ireturn |ac |1010 1100 | |value → () |return an integer from a method |- |ishl |78 |0111 1000 | |value1, value2 → result |int shift left |- |ishr |7a |0111 1010 | |value1, value2 → result |int arithmetic shift right |- |istore |36 |0011 0110 |1: index |value → |store int ''value'' into variable ''#index'' |- |istore_0 |3b |0011 1011 | |value → |store int ''value'' into variable 0 |- |istore_1 |3c |0011 1100 | |value → |store int ''value'' into variable 1 |- |istore_2 |3d |0011 1101 | |value → |store int ''value'' into variable 2 |- |istore_3 |3e |0011 1110 | |value → |store int ''value'' into variable 3 |- |isub |64 |0110 0100 | |value1, value2 → result |int subtract |- |iushr |7c |0111 1100 | |value1, value2 → result |int logical shift right |- |ixor |82 |1000 0010 | |value1, value2 → result |int xor |- |jsr |a8 |1010 1000 |2: branchbyte1, branchbyte2 |→ address |jump to subroutine at ''branchoffset'' (signed short constructed from unsigned bytes ''branchbyte1 << 8 + branchbyte2'') and place the return address on the stack |- |jsr_w |c9 |1100 1001 |4: branchbyte1, branchbyte2, branchbyte3, branchbyte4 |→ address |jump to subroutine at ''branchoffset'' (signed int constructed from unsigned bytes ''branchbyte1 << 24 + branchbyte2 << 16 + branchbyte3 << 8 + branchbyte4'') and place the return address on the stack |- |l2d |8a |1000 1010 | |value → result |convert a long to a double |- |l2f |89 |1000 1001 | |value → result |convert a long to a float |- |l2i |88 |1000 1000 | |value → result |convert a long to a int |- |ladd |61 |0110 0001 | |value1, value2 → result |add two longs |- |laload |2f |0010 1111 | |arrayref, index → value |load a long from an array |- |land |7f |0111 1111 | |value1, value2 → result |bitwise and of two longs |- |lastore |50 |0101 0000 | |arrayref, index, value → |store a long to an array |- |lcmp |94 |1001 0100 | |value1, value2 → result |push 0 if the two longs are the same, 1 if value2 is greater than value1, -1 otherwise |- |lconst_0 |09 |0000 1001 | |→ 0L |push the long 0 onto the stack |- |lconst_1 |0a |0000 1010 | |→ 1L |push the long 1 onto the stack |- |ldc |12 |0001 0010 |1: index |→ value |push a constant ''#index'' from a constant pool (String, int or float) onto the stack |- |ldc_w |13 |0001 0011 |2: indexbyte1, indexbyte2 |→ value |push a constant ''#index'' from a constant pool (String, int or float) onto the stack (wide ''index'' is constructed as ''indexbyte1 << 8 + indexbyte2'') |- |ldc2_w |14 |0001 0100 |2: indexbyte1, indexbyte2 |→ value |push a constant ''#index'' from a constant pool (double or long) onto the stack (wide ''index'' is constructed as ''indexbyte1 << 8 + indexbyte2'') |- |ldiv |6d |0110 1101 | |value1, value2 → result |divide two longs |- |lload |16 |0001 0110 |1: index |→ value |load a long value from a local variable ''#index'' |- |lload_0 |1e |0001 1110 | |→ value |load a long value from a local variable 0 |- |lload_1 |1f |0001 1111 | |→ value |load a long value from a local variable 1 |- |lload_2 |20 |0010 0000 | |→ value |load a long value from a local variable 2 |- |lload_3 |21 |0010 0001 | |→ value |load a long value from a local variable 3 |- |lmul |69 |0110 1001 | |value1, value2 → result |multiply two longs |- |lneg |75 |0111 0101 | |value → result |negate a long |- |lookupswitch |ab |1010 1011 |4+: <0–3 bytes padding>, defaultbyte1, defaultbyte2, defaultbyte3, defaultbyte4, npairs1, npairs2, npairs3, npairs4, match-offset pairs... |key → |a target address is looked up from a table using a key and execution continues from the instruction at that address |- |lor |81 |1000 0001 | |value1, value2 → result |bitwise or of two longs |- |lrem |71 |0111 0001 | |value1, value2 → result |remainder of division of two longs |- |lreturn |ad |1010 1101 | |value → () |return a long value |- |lshl |79 |0111 1001 | |value1, value2 → result |bitwise shift left of a long ''value1'' by int ''value2'' positions |- |lshr |7b |0111 1011 | |value1, value2 → result |bitwise shift right of a long ''value1'' by int ''value2'' positions |- |lstore |37 |0011 0111 |1: index |value → |store a long ''value'' in a local variable ''#index'' |- |lstore_0 |3f |0011 1111 | |value → |store a long ''value'' in a local variable 0 |- |lstore_1 |40 |0100 0000 | |value → |store a long ''value'' in a local variable 1 |- |lstore_2 |41 |0100 0001 | |value → |store a long ''value'' in a local variable 2 |- |lstore_3 |42 |0100 0010 | |value → |store a long ''value'' in a local variable 3 |- |lsub |65 |0110 0101 | |value1, value2 → result |subtract two longs |- |lushr |7d |0111 1101 | |value1, value2 → result |bitwise shift right of a long ''value1'' by int ''value2'' positions, unsigned |- |lxor |83 |1000 0011 | |value1, value2 → result |bitwise exclusive or of two longs |- |monitorenter |c2 |1100 0010 | |objectref → |enter monitor for object ("grab the lock" – start of synchronized() section) |- |monitorexit |c3 |1100 0011 | |objectref → |exit monitor for object ("release the lock" – end of synchronized() section) |- |multianewarray |c5 |1100 0101 |3: indexbyte1, indexbyte2, dimensions |count1, () → arrayref |create a new array of ''dimensions'' dimensions with elements of type identified by class reference in constant pool ''index'' (''indexbyte1 << 8 + indexbyte2''); the sizes of each dimension is identified by ''count1'', (etc. ) |- |new |bb |1011 1011 |2: indexbyte1, indexbyte2 |→ objectref |create new object of type identified by class reference in constant pool ''index'' (''indexbyte1 << 8 + indexbyte2'') |- |newarray |bc |1011 1100 |1: atype |count → arrayref |create new array with ''count'' elements of primitive type identified by ''atype'' |- |nop |00 |0000 0000 | |(change ) |perform no operation |- |pop |57 |0101 0111 | |value → |discard the top value on the stack |- |pop2 |58 |0101 1000 | | → |discard the top two values on the stack (or one value, if it is a double or long) |- |putfield |b5 |1011 0101 |2: indexbyte1, indexbyte2 |objectref, value → |set field to ''value'' in an object ''objectref'', where the field is identified by a field reference ''index'' in constant pool (''indexbyte1 << 8 + indexbyte2'') |- |putstatic |b3 |1011 0011 |2: indexbyte1, indexbyte2 |value → |set static field to ''value'' in a class, where the field is identified by a field reference ''index'' in constant pool (''indexbyte1 << 8 + indexbyte2'') |- |ret |a9 |1010 1001 |1: index |(change ) |continue execution from address taken from a local variable ''#index'' (the asymmetry with jsr is intentional) |- |return |b1 |1011 0001 | |→ () |return void from method |- |saload |35 |0011 0101 | |arrayref, index → value |load short from array |- |sastore |56 |0101 0110 | |arrayref, index, value → |store short to array |- |sipush |11 |0001 0001 |2: byte1, byte2 |→ value |push a short onto the stack |- |swap |5f |0101 1111 | |value2, value1 → value1, value2 |swaps two top words on the stack (note that value1 and value2 must not be double or long) |- |tableswitch |aa |1010 1010 |4+: (bytes padding ), defaultbyte1, defaultbyte2, defaultbyte3, defaultbyte4, lowbyte1, lowbyte2, lowbyte3, lowbyte4, highbyte1, highbyte2, highbyte3, highbyte4, jump offsets... |index → |continue execution from an address in the table at offset ''index'' |- |wide |c4 |1100 0100 |3/5: opcode, indexbyte1, indexbyte2 or iinc, indexbyte1, indexbyte2, countbyte1, countbyte2 |(as for corresponding instructions ) |execute ''opcode'', where ''opcode'' is either iload, fload, aload, lload, dload, istore, fstore, astore, lstore, dstore, or ret, but assume the ''index'' is 16 bit; or execute iinc, where the ''index'' is 16 bits and the constant to increment by is a signed 16 bit short |- |''(no name)'' |cb-fd | | | |these values are currently unassigned for opcodes and are reserved for future use |- |} == See also == *Java bytecode, a general description of Java bytecode within the context of the JVM *Jazelle DBX (Direct Bytecode eXecution), a feature that executes some Java bytecodes in hardware, on some ARM9 CPUs *Common Intermediate Language (CIL), a similar bytecode specification that runs on the CLR of the .NET Framework. *C to Java Virtual Machine compilers 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Java bytecode instruction listings」の詳細全文を読む スポンサード リンク
|